1. Combinatorics, complexity, and logic: proceedings of DMTCS'96
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D62
1997
2. Combinatorics, complexity, & logic : proceedings of DMTCS'96
پدیدآورنده: D.S. Bridges...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
1996
3. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
4. Combinatorics, computability and logic :
پدیدآورنده: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
5. Combinatorics, computability, and logic : proceedings of the Third International Conference on Combinatorics, Computability, and Logic, )DMTCS '01(
پدیدآورنده: C.S. Calude, M.J. Dinneen, and S. Sburlan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
164
.
D6
2001
6. Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
پدیدآورنده: Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Combinatorial analysis,Congresses ، Computational complexity,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
2731
7. Finite and infinite combinatorics in sets and logic
پدیدآورنده: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Combinatorial analysis - Congresses , Set theory - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
QA
164
.
N38
1991
8. Finite and infinite combinatorics in sets and logic
پدیدآورنده: / edited by N. W. sauer, R. E. Woodrow, and B. Sands
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Combinatorial analysis -- Congresses,Settheory -- Congresses,Logic, Symbolic and mathematical -- Congresses
رده :
QA
164
.
N38
1991
9. Finite and infinite combinatorics in sets and logic: ]proceedings of the NATO Advanced Study Institute on Finite and Infinite Combinatorics in Sets and Logic, Banff, Alberta, Canada, April 21-May 4, 1991[
پدیدآورنده: edited by N.W. Sauer, R.E. Woodrow, and B. Sands
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses. ، Combinatorial analysis,Congresses. ، Set theory,Congresses. ، Logic, Symbolic and mathematical
رده :
QA
164
.
N38
1991
10. Logic and combinatorics
پدیدآورنده: [Edited by]& Stephen G. Simpson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Logic symbolic and mathematical - Congresses,Combinatorial analysis - Congresses
رده :
QA
,
9
,.
A1A47
11. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده :
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Combinatorial analysis-- Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Logic and combinatorics : proceedings of the AMS-IMS-SIAM Joint Summer Research Conference held August 4-10, 1985
پدیدآورنده: Stephen G. Simpson, editor
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Combinatorial analysis
رده :
QA
9
.
A1A66
1985
